<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: SystemSharp.SysDOM.SimplificationRules Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="hierarchy.html"><span>Class&#160;Hierarchy</span></a></li>
      <li><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="summary">
<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
<a href="#pub-static-attribs">Static Public Attributes</a> &#124;
<a href="#properties">Properties</a> &#124;
<a href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules-members.html">List of all members</a>  </div>
  <div class="headertitle">
<div class="title">SystemSharp.SysDOM.SimplificationRules Class Reference</div>  </div>
</div><!--header-->
<div class="contents">

<p>This static class provides simplification rules for expressions.  
 <a href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#details">More...</a></p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
Static Public Member Functions</h2></td></tr>
<tr class="memitem:a698a4eb10f110aec424140a6d7ac13c1"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a698a4eb10f110aec424140a6d7ac13c1">Simplify</a> (this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> e)</td></tr>
<tr class="memdesc:a698a4eb10f110aec424140a6d7ac13c1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Tries to simplify the expression by applying a catalogue of simplifying replacement rules.  <a href="#a698a4eb10f110aec424140a6d7ac13c1">More...</a><br/></td></tr>
<tr class="separator:a698a4eb10f110aec424140a6d7ac13c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a9dbdca9d0987aadecbc6b43226f72fc0"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a9dbdca9d0987aadecbc6b43226f72fc0">SimplifyMultiValuedLogic</a> (this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> e)</td></tr>
<tr class="memdesc:a9dbdca9d0987aadecbc6b43226f72fc0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Tries to simplify the expression by applying replacement rules for multi-valued logic.  <a href="#a9dbdca9d0987aadecbc6b43226f72fc0">More...</a><br/></td></tr>
<tr class="separator:a9dbdca9d0987aadecbc6b43226f72fc0"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a31b3ca5c0989ce8942ca3df4d96a46d3"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a31b3ca5c0989ce8942ca3df4d96a46d3">Substitute</a> (this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> e, <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> x, <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> y)</td></tr>
<tr class="memdesc:a31b3ca5c0989ce8942ca3df4d96a46d3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Substitutes each occurence of expression <em>x</em>  with expression <em>y</em> .  <a href="#a31b3ca5c0989ce8942ca3df4d96a46d3">More...</a><br/></td></tr>
<tr class="separator:a31b3ca5c0989ce8942ca3df4d96a46d3"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a65393c4ba7f1abad9c441e29651d3abf"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matrix.html">Matrix</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a65393c4ba7f1abad9c441e29651d3abf">Simplify</a> (this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matrix.html">Matrix</a> m)</td></tr>
<tr class="memdesc:a65393c4ba7f1abad9c441e29651d3abf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Tries to simplify each matrix element by applying a catalogue of simplification rules.  <a href="#a65393c4ba7f1abad9c441e29651d3abf">More...</a><br/></td></tr>
<tr class="separator:a65393c4ba7f1abad9c441e29651d3abf"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-attribs"></a>
Static Public Attributes</h2></td></tr>
<tr class="memitem:abe08c1f0e27542f25f059a0f96f0ea5c"><td class="memItemLeft" align="right" valign="top">static readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#abe08c1f0e27542f25f059a0f96f0ea5c">MatchZero</a> = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsZero</td></tr>
<tr class="memdesc:abe08c1f0e27542f25f059a0f96f0ea5c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Matches any constant zero-valued expression.  <a href="#abe08c1f0e27542f25f059a0f96f0ea5c">More...</a><br/></td></tr>
<tr class="separator:abe08c1f0e27542f25f059a0f96f0ea5c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a16dd71d76911a97cfa12ec3b905780ba"><td class="memItemLeft" align="right" valign="top">static readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a16dd71d76911a97cfa12ec3b905780ba">MatchOne</a> = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsOne</td></tr>
<tr class="memdesc:a16dd71d76911a97cfa12ec3b905780ba"><td class="mdescLeft">&#160;</td><td class="mdescRight">Matches any constant one-valued expression.  <a href="#a16dd71d76911a97cfa12ec3b905780ba">More...</a><br/></td></tr>
<tr class="separator:a16dd71d76911a97cfa12ec3b905780ba"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aaae14218c90aee2df0dbba4f85b2445b"><td class="memItemLeft" align="right" valign="top">static readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aaae14218c90aee2df0dbba4f85b2445b">MatchMOne</a> = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsMOne</td></tr>
<tr class="memdesc:aaae14218c90aee2df0dbba4f85b2445b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Matches any constant expression of value -1.  <a href="#aaae14218c90aee2df0dbba4f85b2445b">More...</a><br/></td></tr>
<tr class="separator:aaae14218c90aee2df0dbba4f85b2445b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ac9deae797f76aa556dea528a3b865c03"><td class="memItemLeft" align="right" valign="top">static readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ac9deae797f76aa556dea528a3b865c03">MatchZeroRange</a> = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)HasZeroRange</td></tr>
<tr class="memdesc:ac9deae797f76aa556dea528a3b865c03"><td class="mdescLeft">&#160;</td><td class="mdescRight">Matches any expression having an empty result type.  <a href="#ac9deae797f76aa556dea528a3b865c03">More...</a><br/></td></tr>
<tr class="separator:ac9deae797f76aa556dea528a3b865c03"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="properties"></a>
Properties</h2></td></tr>
<tr class="memitem:aa0dc7d994c86e06137214db9b157baaf"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa0dc7d994c86e06137214db9b157baaf">ElimMultiMinus</a><code> [get]</code></td></tr>
<tr class="memdesc:aa0dc7d994c86e06137214db9b157baaf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces &ndash;x with x.  <a href="#aa0dc7d994c86e06137214db9b157baaf">More...</a><br/></td></tr>
<tr class="separator:aa0dc7d994c86e06137214db9b157baaf"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a43fee9c54d9fad96bbf7d8cd73dbad2c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a43fee9c54d9fad96bbf7d8cd73dbad2c">ElimMultiBitNot</a><code> [get]</code></td></tr>
<tr class="memdesc:a43fee9c54d9fad96bbf7d8cd73dbad2c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces ~~x with x.  <a href="#a43fee9c54d9fad96bbf7d8cd73dbad2c">More...</a><br/></td></tr>
<tr class="separator:a43fee9c54d9fad96bbf7d8cd73dbad2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a61e2e53da431bb2af42ca3ec80ad7667"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a61e2e53da431bb2af42ca3ec80ad7667">ElimMultiBoolNot</a><code> [get]</code></td></tr>
<tr class="memdesc:a61e2e53da431bb2af42ca3ec80ad7667"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !!x with x.  <a href="#a61e2e53da431bb2af42ca3ec80ad7667">More...</a><br/></td></tr>
<tr class="separator:a61e2e53da431bb2af42ca3ec80ad7667"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae5dcd59dd8fc4352bb035593d51fc311"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ae5dcd59dd8fc4352bb035593d51fc311">ElimOneTimes</a><code> [get]</code></td></tr>
<tr class="memdesc:ae5dcd59dd8fc4352bb035593d51fc311"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces 1*x with x.  <a href="#ae5dcd59dd8fc4352bb035593d51fc311">More...</a><br/></td></tr>
<tr class="separator:ae5dcd59dd8fc4352bb035593d51fc311"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa77d9d5318d62f2f93d4cda1a8e3ce43"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa77d9d5318d62f2f93d4cda1a8e3ce43">ElimTimesOne</a><code> [get]</code></td></tr>
<tr class="memdesc:aa77d9d5318d62f2f93d4cda1a8e3ce43"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x*1 with x.  <a href="#aa77d9d5318d62f2f93d4cda1a8e3ce43">More...</a><br/></td></tr>
<tr class="separator:aa77d9d5318d62f2f93d4cda1a8e3ce43"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:afb1d5abd1bb5ea6cb52c1993e742fff4"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#afb1d5abd1bb5ea6cb52c1993e742fff4">ElimMOneTimes</a><code> [get]</code></td></tr>
<tr class="memdesc:afb1d5abd1bb5ea6cb52c1993e742fff4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces (-1)*x with -x.  <a href="#afb1d5abd1bb5ea6cb52c1993e742fff4">More...</a><br/></td></tr>
<tr class="separator:afb1d5abd1bb5ea6cb52c1993e742fff4"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a1ea304a0d3d6a8a01c6fa7dcf336b938"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a1ea304a0d3d6a8a01c6fa7dcf336b938">ElimTimesMOne</a><code> [get]</code></td></tr>
<tr class="memdesc:a1ea304a0d3d6a8a01c6fa7dcf336b938"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x*(-1) with -x.  <a href="#a1ea304a0d3d6a8a01c6fa7dcf336b938">More...</a><br/></td></tr>
<tr class="separator:a1ea304a0d3d6a8a01c6fa7dcf336b938"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a00d38b022a9f717dce5e60ad603be496"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a00d38b022a9f717dce5e60ad603be496">ElimZeroTimes</a><code> [get]</code></td></tr>
<tr class="memdesc:a00d38b022a9f717dce5e60ad603be496"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces 0*x with 0.  <a href="#a00d38b022a9f717dce5e60ad603be496">More...</a><br/></td></tr>
<tr class="separator:a00d38b022a9f717dce5e60ad603be496"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ab5cccd824a502131c6f667b1861b9f1f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ab5cccd824a502131c6f667b1861b9f1f">ElimTimesZero</a><code> [get]</code></td></tr>
<tr class="memdesc:ab5cccd824a502131c6f667b1861b9f1f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x*0 with 0.  <a href="#ab5cccd824a502131c6f667b1861b9f1f">More...</a><br/></td></tr>
<tr class="separator:ab5cccd824a502131c6f667b1861b9f1f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa5636d3d8cfd641be3ba552c4f27540a"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa5636d3d8cfd641be3ba552c4f27540a">ElimZeroDiv</a><code> [get]</code></td></tr>
<tr class="memdesc:aa5636d3d8cfd641be3ba552c4f27540a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces 0/x with 0.  <a href="#aa5636d3d8cfd641be3ba552c4f27540a">More...</a><br/></td></tr>
<tr class="separator:aa5636d3d8cfd641be3ba552c4f27540a"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:af4e83dd0e8b7e92c549f964020a71a76"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#af4e83dd0e8b7e92c549f964020a71a76">ElimDivOne</a><code> [get]</code></td></tr>
<tr class="memdesc:af4e83dd0e8b7e92c549f964020a71a76"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x/1 with x.  <a href="#af4e83dd0e8b7e92c549f964020a71a76">More...</a><br/></td></tr>
<tr class="separator:af4e83dd0e8b7e92c549f964020a71a76"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aae20cc75516a0b20f7050db41b7dc0d9"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aae20cc75516a0b20f7050db41b7dc0d9">ElimDivMOne</a><code> [get]</code></td></tr>
<tr class="memdesc:aae20cc75516a0b20f7050db41b7dc0d9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x/(-1) with -x.  <a href="#aae20cc75516a0b20f7050db41b7dc0d9">More...</a><br/></td></tr>
<tr class="separator:aae20cc75516a0b20f7050db41b7dc0d9"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a02a16a4a3eba3af3c049a671c054cb5f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a02a16a4a3eba3af3c049a671c054cb5f">ElimZeroPlus</a><code> [get]</code></td></tr>
<tr class="memdesc:a02a16a4a3eba3af3c049a671c054cb5f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces 0+x with x.  <a href="#a02a16a4a3eba3af3c049a671c054cb5f">More...</a><br/></td></tr>
<tr class="separator:a02a16a4a3eba3af3c049a671c054cb5f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a36a0739322cf8750767252d22d5004bf"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a36a0739322cf8750767252d22d5004bf">ElimPlusZero</a><code> [get]</code></td></tr>
<tr class="memdesc:a36a0739322cf8750767252d22d5004bf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x+0 with x.  <a href="#a36a0739322cf8750767252d22d5004bf">More...</a><br/></td></tr>
<tr class="separator:a36a0739322cf8750767252d22d5004bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a712aa4140b6e00dc8b02d53040c7a86f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a712aa4140b6e00dc8b02d53040c7a86f">ElimZeroMinus</a><code> [get]</code></td></tr>
<tr class="memdesc:a712aa4140b6e00dc8b02d53040c7a86f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces 0-x with -x.  <a href="#a712aa4140b6e00dc8b02d53040c7a86f">More...</a><br/></td></tr>
<tr class="separator:a712aa4140b6e00dc8b02d53040c7a86f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a3148e319c831a00a7b203ccc7ca6b7f6"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a3148e319c831a00a7b203ccc7ca6b7f6">ElimMinusZero</a><code> [get]</code></td></tr>
<tr class="memdesc:a3148e319c831a00a7b203ccc7ca6b7f6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x-0 with x.  <a href="#a3148e319c831a00a7b203ccc7ca6b7f6">More...</a><br/></td></tr>
<tr class="separator:a3148e319c831a00a7b203ccc7ca6b7f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a6366180edd5390100abd8067e65f843b"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a6366180edd5390100abd8067e65f843b">ElimMinusNeg</a><code> [get]</code></td></tr>
<tr class="memdesc:a6366180edd5390100abd8067e65f843b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x-(-y) with x+y.  <a href="#a6366180edd5390100abd8067e65f843b">More...</a><br/></td></tr>
<tr class="separator:a6366180edd5390100abd8067e65f843b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a26bdebf98dfd15dc90f44796459b8215"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a26bdebf98dfd15dc90f44796459b8215">ElimSignedZero</a><code> [get]</code></td></tr>
<tr class="memdesc:a26bdebf98dfd15dc90f44796459b8215"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces -0 with 0.  <a href="#a26bdebf98dfd15dc90f44796459b8215">More...</a><br/></td></tr>
<tr class="separator:a26bdebf98dfd15dc90f44796459b8215"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aabaab4041612459693425ee9eee87b26"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aabaab4041612459693425ee9eee87b26">RwNegProd</a><code> [get]</code></td></tr>
<tr class="memdesc:aabaab4041612459693425ee9eee87b26"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces -(x*y) with (-x)*y.  <a href="#aabaab4041612459693425ee9eee87b26">More...</a><br/></td></tr>
<tr class="separator:aabaab4041612459693425ee9eee87b26"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a7c47b1361b1cb87aa465af848c830da1"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a7c47b1361b1cb87aa465af848c830da1">RwNegSum</a><code> [get]</code></td></tr>
<tr class="memdesc:a7c47b1361b1cb87aa465af848c830da1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces -(x+y) with x-y.  <a href="#a7c47b1361b1cb87aa465af848c830da1">More...</a><br/></td></tr>
<tr class="separator:a7c47b1361b1cb87aa465af848c830da1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a58754f8f0ba773c2cc99e90927f96118"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a58754f8f0ba773c2cc99e90927f96118">NotEq</a><code> [get]</code></td></tr>
<tr class="memdesc:a58754f8f0ba773c2cc99e90927f96118"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x==y) with x!=y.  <a href="#a58754f8f0ba773c2cc99e90927f96118">More...</a><br/></td></tr>
<tr class="separator:a58754f8f0ba773c2cc99e90927f96118"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a97f3091a48aaca75ec264bbdf56438a6"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a97f3091a48aaca75ec264bbdf56438a6">NotNEq</a><code> [get]</code></td></tr>
<tr class="memdesc:a97f3091a48aaca75ec264bbdf56438a6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x!=y) with x==y.  <a href="#a97f3091a48aaca75ec264bbdf56438a6">More...</a><br/></td></tr>
<tr class="separator:a97f3091a48aaca75ec264bbdf56438a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a9b8f94b1232df14dd6e705aa7eaf09c7"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a9b8f94b1232df14dd6e705aa7eaf09c7">NotLt</a><code> [get]</code></td></tr>
<tr class="memdesc:a9b8f94b1232df14dd6e705aa7eaf09c7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x&lt;y) with x&gt;=y.  <a href="#a9b8f94b1232df14dd6e705aa7eaf09c7">More...</a><br/></td></tr>
<tr class="separator:a9b8f94b1232df14dd6e705aa7eaf09c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a42125defb991849d76bfe70dce5590e1"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a42125defb991849d76bfe70dce5590e1">NotLtEq</a><code> [get]</code></td></tr>
<tr class="memdesc:a42125defb991849d76bfe70dce5590e1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x&lt;=y) with x&gt;y.  <a href="#a42125defb991849d76bfe70dce5590e1">More...</a><br/></td></tr>
<tr class="separator:a42125defb991849d76bfe70dce5590e1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a0d06bf3a2d482114ac91d245bb6210a6"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a0d06bf3a2d482114ac91d245bb6210a6">NotGt</a><code> [get]</code></td></tr>
<tr class="memdesc:a0d06bf3a2d482114ac91d245bb6210a6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x&gt;y) with x&lt;=y.  <a href="#a0d06bf3a2d482114ac91d245bb6210a6">More...</a><br/></td></tr>
<tr class="separator:a0d06bf3a2d482114ac91d245bb6210a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa2782a50f1f8ba489f583e5b5db6fb40"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa2782a50f1f8ba489f583e5b5db6fb40">NotGtEq</a><code> [get]</code></td></tr>
<tr class="memdesc:aa2782a50f1f8ba489f583e5b5db6fb40"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x&gt;=y) with x&lt;y.  <a href="#aa2782a50f1f8ba489f583e5b5db6fb40">More...</a><br/></td></tr>
<tr class="separator:aa2782a50f1f8ba489f583e5b5db6fb40"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a0ee2a25ea277d7ddc0ce9f78efb6ac06"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a0ee2a25ea277d7ddc0ce9f78efb6ac06">TrueLit</a><code> [get]</code></td></tr>
<tr class="memdesc:a0ee2a25ea277d7ddc0ce9f78efb6ac06"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces any constant expression which evaluates to <code>true</code> with <code><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_special_constant.html#a5d9025f1ab919a233bba94b268a27756" title="Returns &quot;true&quot; of result type bool. ">SpecialConstant.True</a></code>.  <a href="#a0ee2a25ea277d7ddc0ce9f78efb6ac06">More...</a><br/></td></tr>
<tr class="separator:a0ee2a25ea277d7ddc0ce9f78efb6ac06"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a0b3800e004c505dcbdf70464b0c9de6d"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a0b3800e004c505dcbdf70464b0c9de6d">FalseLit</a><code> [get]</code></td></tr>
<tr class="memdesc:a0b3800e004c505dcbdf70464b0c9de6d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces any constant expression which evaluates to <code>false</code> with <code><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_special_constant.html#abff821e4bef12cbc4c004ca749205021" title="Returns &quot;false&quot; of result type bool. ">SpecialConstant.False</a></code>.  <a href="#a0b3800e004c505dcbdf70464b0c9de6d">More...</a><br/></td></tr>
<tr class="separator:a0b3800e004c505dcbdf70464b0c9de6d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a237452f35a9b1be3e1312fea82ffb914"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a237452f35a9b1be3e1312fea82ffb914">EqTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:a237452f35a9b1be3e1312fea82ffb914"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x == true with x.  <a href="#a237452f35a9b1be3e1312fea82ffb914">More...</a><br/></td></tr>
<tr class="separator:a237452f35a9b1be3e1312fea82ffb914"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa6caecadfa99d3ebf6b0f7f389ebcaa7"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa6caecadfa99d3ebf6b0f7f389ebcaa7">NotEqTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:aa6caecadfa99d3ebf6b0f7f389ebcaa7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x != true with !x.  <a href="#aa6caecadfa99d3ebf6b0f7f389ebcaa7">More...</a><br/></td></tr>
<tr class="separator:aa6caecadfa99d3ebf6b0f7f389ebcaa7"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a20fa028138d96e31f48d85e2e78d59ba"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a20fa028138d96e31f48d85e2e78d59ba">EqFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:a20fa028138d96e31f48d85e2e78d59ba"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x == false with !x.  <a href="#a20fa028138d96e31f48d85e2e78d59ba">More...</a><br/></td></tr>
<tr class="separator:a20fa028138d96e31f48d85e2e78d59ba"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:af8a0d4d3639c08f1f9595cec0b8745ed"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#af8a0d4d3639c08f1f9595cec0b8745ed">NotEqFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:af8a0d4d3639c08f1f9595cec0b8745ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x != false with x.  <a href="#af8a0d4d3639c08f1f9595cec0b8745ed">More...</a><br/></td></tr>
<tr class="separator:af8a0d4d3639c08f1f9595cec0b8745ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a45263f146c9b654084f0f6933aad4ef8"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a45263f146c9b654084f0f6933aad4ef8">EqSLTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:a45263f146c9b654084f0f6933aad4ef8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces <code>x == StdLogic._1</code> with <code>(bool)x</code>.  <a href="#a45263f146c9b654084f0f6933aad4ef8">More...</a><br/></td></tr>
<tr class="separator:a45263f146c9b654084f0f6933aad4ef8"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:adf31b611cb49c4c3fc64319c76c19362"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#adf31b611cb49c4c3fc64319c76c19362">EqSLFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:adf31b611cb49c4c3fc64319c76c19362"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces <code>x == StdLogic._0</code> with <code>!((bool)x)</code>.  <a href="#adf31b611cb49c4c3fc64319c76c19362">More...</a><br/></td></tr>
<tr class="separator:adf31b611cb49c4c3fc64319c76c19362"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a35493c68236e004760d66c0c96caea2e"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a35493c68236e004760d66c0c96caea2e">NEqSLTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:a35493c68236e004760d66c0c96caea2e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces <code>x != StdLogic._1</code> with <code>!((bool)x)</code>.  <a href="#a35493c68236e004760d66c0c96caea2e">More...</a><br/></td></tr>
<tr class="separator:a35493c68236e004760d66c0c96caea2e"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a1a86c2733763e7c00e4938e9f27f32bd"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a1a86c2733763e7c00e4938e9f27f32bd">NEqSLFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:a1a86c2733763e7c00e4938e9f27f32bd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces <code>x != StdLogic._0</code> with <code>(bool)x</code>.  <a href="#a1a86c2733763e7c00e4938e9f27f32bd">More...</a><br/></td></tr>
<tr class="separator:a1a86c2733763e7c00e4938e9f27f32bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aabed3afbb4596fc6dbd068078ee9d711"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aabed3afbb4596fc6dbd068078ee9d711">AndTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:aabed3afbb4596fc6dbd068078ee9d711"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x &amp; true with x.  <a href="#aabed3afbb4596fc6dbd068078ee9d711">More...</a><br/></td></tr>
<tr class="separator:aabed3afbb4596fc6dbd068078ee9d711"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ab33585f4d68205aafe67f618c8920589"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ab33585f4d68205aafe67f618c8920589">TrueAnd</a><code> [get]</code></td></tr>
<tr class="memdesc:ab33585f4d68205aafe67f618c8920589"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces true &amp; x with x.  <a href="#ab33585f4d68205aafe67f618c8920589">More...</a><br/></td></tr>
<tr class="separator:ab33585f4d68205aafe67f618c8920589"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a22ce8a59996ad68026e715009f9b03b4"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a22ce8a59996ad68026e715009f9b03b4">AndFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:a22ce8a59996ad68026e715009f9b03b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x &amp; false with false.  <a href="#a22ce8a59996ad68026e715009f9b03b4">More...</a><br/></td></tr>
<tr class="separator:a22ce8a59996ad68026e715009f9b03b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a14ef9d90e2997d12ec5eae8978b296dd"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a14ef9d90e2997d12ec5eae8978b296dd">FalseAnd</a><code> [get]</code></td></tr>
<tr class="memdesc:a14ef9d90e2997d12ec5eae8978b296dd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces false &amp; x with false.  <a href="#a14ef9d90e2997d12ec5eae8978b296dd">More...</a><br/></td></tr>
<tr class="separator:a14ef9d90e2997d12ec5eae8978b296dd"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a7dd1b44bdf370e97267d0a2aa3976e2e"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a7dd1b44bdf370e97267d0a2aa3976e2e">OrFalse</a><code> [get]</code></td></tr>
<tr class="memdesc:a7dd1b44bdf370e97267d0a2aa3976e2e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x | false with x.  <a href="#a7dd1b44bdf370e97267d0a2aa3976e2e">More...</a><br/></td></tr>
<tr class="separator:a7dd1b44bdf370e97267d0a2aa3976e2e"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a1231540b81f6918d47fe5e1f21ab7f70"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a1231540b81f6918d47fe5e1f21ab7f70">FalseOr</a><code> [get]</code></td></tr>
<tr class="memdesc:a1231540b81f6918d47fe5e1f21ab7f70"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that repalces false | x with x.  <a href="#a1231540b81f6918d47fe5e1f21ab7f70">More...</a><br/></td></tr>
<tr class="separator:a1231540b81f6918d47fe5e1f21ab7f70"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ac59ee769afebabc996f675dd56b9a542"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ac59ee769afebabc996f675dd56b9a542">OrTrue</a><code> [get]</code></td></tr>
<tr class="memdesc:ac59ee769afebabc996f675dd56b9a542"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x | true with true.  <a href="#ac59ee769afebabc996f675dd56b9a542">More...</a><br/></td></tr>
<tr class="separator:ac59ee769afebabc996f675dd56b9a542"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa512c85138939d4a2c91828b7c858f0b"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa512c85138939d4a2c91828b7c858f0b">TrueOr</a><code> [get]</code></td></tr>
<tr class="memdesc:aa512c85138939d4a2c91828b7c858f0b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces true | x with true.  <a href="#aa512c85138939d4a2c91828b7c858f0b">More...</a><br/></td></tr>
<tr class="separator:aa512c85138939d4a2c91828b7c858f0b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa605c99351ebc479fea9ad1601a0fa0f"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aa605c99351ebc479fea9ad1601a0fa0f">Absorption1</a><code> [get]</code></td></tr>
<tr class="memdesc:aa605c99351ebc479fea9ad1601a0fa0f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x | (x &amp; y) with x.  <a href="#aa605c99351ebc479fea9ad1601a0fa0f">More...</a><br/></td></tr>
<tr class="separator:aa605c99351ebc479fea9ad1601a0fa0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:afb915ebab963be7a28d1b1a4bed440ce"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#afb915ebab963be7a28d1b1a4bed440ce">Absorption2</a><code> [get]</code></td></tr>
<tr class="memdesc:afb915ebab963be7a28d1b1a4bed440ce"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x &amp; (x | y) with x.  <a href="#afb915ebab963be7a28d1b1a4bed440ce">More...</a><br/></td></tr>
<tr class="separator:afb915ebab963be7a28d1b1a4bed440ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae6534643fa663e9e34474191321e73b3"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#ae6534643fa663e9e34474191321e73b3">DeMorgan1</a><code> [get]</code></td></tr>
<tr class="memdesc:ae6534643fa663e9e34474191321e73b3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x|y) with (!x)&amp;(!y).  <a href="#ae6534643fa663e9e34474191321e73b3">More...</a><br/></td></tr>
<tr class="separator:ae6534643fa663e9e34474191321e73b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a05964b292e3b21da590d49bb9de1bf9c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a05964b292e3b21da590d49bb9de1bf9c">DeMorgan2</a><code> [get]</code></td></tr>
<tr class="memdesc:a05964b292e3b21da590d49bb9de1bf9c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces !(x&amp;y) with (!x)|(!y).  <a href="#a05964b292e3b21da590d49bb9de1bf9c">More...</a><br/></td></tr>
<tr class="separator:a05964b292e3b21da590d49bb9de1bf9c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a665aa643d236bfa60d5da9284e7f7c88"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a665aa643d236bfa60d5da9284e7f7c88">BoolMisc1</a><code> [get]</code></td></tr>
<tr class="memdesc:a665aa643d236bfa60d5da9284e7f7c88"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x|((!x)&amp;y) with x|y.  <a href="#a665aa643d236bfa60d5da9284e7f7c88">More...</a><br/></td></tr>
<tr class="separator:a665aa643d236bfa60d5da9284e7f7c88"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a437bf626045cc9d9539e124806f540a2"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a437bf626045cc9d9539e124806f540a2">BoolMisc2</a><code> [get]</code></td></tr>
<tr class="memdesc:a437bf626045cc9d9539e124806f540a2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces x&amp;(!x|y) with x&amp;y.  <a href="#a437bf626045cc9d9539e124806f540a2">More...</a><br/></td></tr>
<tr class="separator:a437bf626045cc9d9539e124806f540a2"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aabc259dffb0aad5d58ce21d428719e12"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#aabc259dffb0aad5d58ce21d428719e12">BoolMisc3</a><code> [get]</code></td></tr>
<tr class="memdesc:aabc259dffb0aad5d58ce21d428719e12"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces (x&amp;y)|(x&amp;!y) with x.  <a href="#aabc259dffb0aad5d58ce21d428719e12">More...</a><br/></td></tr>
<tr class="separator:aabc259dffb0aad5d58ce21d428719e12"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:acefad70f3af52c28270db207bbdee37c"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#acefad70f3af52c28270db207bbdee37c">BoolMisc4</a><code> [get]</code></td></tr>
<tr class="memdesc:acefad70f3af52c28270db207bbdee37c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that replaces (x|y)&amp;(x|!y) with x.  <a href="#acefad70f3af52c28270db207bbdee37c">More...</a><br/></td></tr>
<tr class="separator:acefad70f3af52c28270db207bbdee37c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:af35f1b097fffdb996335d59306f36be4"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#af35f1b097fffdb996335d59306f36be4">ElimConcatWithZeroRanged1</a><code> [get]</code></td></tr>
<tr class="memdesc:af35f1b097fffdb996335d59306f36be4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that eliminates concatenations with zero-sized vectors (zero-sized vector at left).  <a href="#af35f1b097fffdb996335d59306f36be4">More...</a><br/></td></tr>
<tr class="separator:af35f1b097fffdb996335d59306f36be4"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a9640d19ba21a23d0343ce717d04ef10a"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html#a9640d19ba21a23d0343ce717d04ef10a">ElimConcatWithZeroRanged2</a><code> [get]</code></td></tr>
<tr class="memdesc:a9640d19ba21a23d0343ce717d04ef10a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a rule that eliminates concatenations with zero-sized vectors (zero-sized vector at right).  <a href="#a9640d19ba21a23d0343ce717d04ef10a">More...</a><br/></td></tr>
<tr class="separator:a9640d19ba21a23d0343ce717d04ef10a"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p>This static class provides simplification rules for expressions. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00037">37</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>
</div><h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="a698a4eb10f110aec424140a6d7ac13c1"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> SystemSharp.SysDOM.SimplificationRules.Simplify </td>
          <td>(</td>
          <td class="paramtype">this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Tries to simplify the expression by applying a catalogue of simplifying replacement rules. </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">e</td><td>expression to simplify</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>simplified expression</dd></dl>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00807">807</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a65393c4ba7f1abad9c441e29651d3abf"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matrix.html">Matrix</a> SystemSharp.SysDOM.SimplificationRules.Simplify </td>
          <td>(</td>
          <td class="paramtype">this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matrix.html">Matrix</a>&#160;</td>
          <td class="paramname"><em>m</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Tries to simplify each matrix element by applying a catalogue of simplification rules. </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">m</td><td>matrix to simplify</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>simplified matrix</dd></dl>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00890">890</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a9dbdca9d0987aadecbc6b43226f72fc0"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> SystemSharp.SysDOM.SimplificationRules.SimplifyMultiValuedLogic </td>
          <td>(</td>
          <td class="paramtype">this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Tries to simplify the expression by applying replacement rules for multi-valued logic. </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">e</td><td>expression to simplify</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>simplified expression</dd></dl>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00853">853</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a31b3ca5c0989ce8942ca3df4d96a46d3"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">static <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a> SystemSharp.SysDOM.SimplificationRules.Substitute </td>
          <td>(</td>
          <td class="paramtype">this <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td>
          <td class="paramname"><em>e</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td>
          <td class="paramname"><em>x</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_expression.html">Expression</a>&#160;</td>
          <td class="paramname"><em>y</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Substitutes each occurence of expression <em>x</em>  with expression <em>y</em> . </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00877">877</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="aaae14218c90aee2df0dbba4f85b2445b"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> SystemSharp.SysDOM.SimplificationRules.MatchMOne = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsMOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Matches any constant expression of value -1. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00087">87</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a16dd71d76911a97cfa12ec3b905780ba"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> SystemSharp.SysDOM.SimplificationRules.MatchOne = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Matches any constant one-valued expression. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00082">82</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="abe08c1f0e27542f25f059a0f96f0ea5c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> SystemSharp.SysDOM.SimplificationRules.MatchZero = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)IsZero</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Matches any constant zero-valued expression. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00077">77</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ac9deae797f76aa556dea528a3b865c03"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">readonly <a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a> SystemSharp.SysDOM.SimplificationRules.MatchZeroRange = (<a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_matching.html">Matching</a>)HasZeroRange</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Matches any expression having an empty result type. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00092">92</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<h2 class="groupheader">Property Documentation</h2>
<a class="anchor" id="aa605c99351ebc479fea9ad1601a0fa0f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.Absorption1</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x | (x &amp; y) with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00654">654</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="afb915ebab963be7a28d1b1a4bed440ce"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.Absorption2</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x &amp; (x | y) with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00669">669</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a22ce8a59996ad68026e715009f9b03b4"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.AndFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x &amp; false with false. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00576">576</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aabed3afbb4596fc6dbd068078ee9d711"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.AndTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x &amp; true with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00550">550</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a665aa643d236bfa60d5da9284e7f7c88"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.BoolMisc1</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x|((!x)&amp;y) with x|y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00710">710</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a437bf626045cc9d9539e124806f540a2"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.BoolMisc2</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x&amp;(!x|y) with x&amp;y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00725">725</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aabc259dffb0aad5d58ce21d428719e12"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.BoolMisc3</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces (x&amp;y)|(x&amp;!y) with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00740">740</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="acefad70f3af52c28270db207bbdee37c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.BoolMisc4</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces (x|y)&amp;(x|!y) with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00759">759</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae6534643fa663e9e34474191321e73b3"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.DeMorgan1</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x|y) with (!x)&amp;(!y). </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00684">684</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a05964b292e3b21da590d49bb9de1bf9c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.DeMorgan2</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x&amp;y) with (!x)|(!y). </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00697">697</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="af35f1b097fffdb996335d59306f36be4"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimConcatWithZeroRanged1</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that eliminates concatenations with zero-sized vectors (zero-sized vector at left). </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00778">778</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a9640d19ba21a23d0343ce717d04ef10a"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimConcatWithZeroRanged2</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that eliminates concatenations with zero-sized vectors (zero-sized vector at right). </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00792">792</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aae20cc75516a0b20f7050db41b7dc0d9"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimDivMOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x/(-1) with -x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00230">230</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="af4e83dd0e8b7e92c549f964020a71a76"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimDivOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x/1 with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00218">218</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a6366180edd5390100abd8067e65f843b"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMinusNeg</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x-(-y) with x+y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00290">290</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a3148e319c831a00a7b203ccc7ca6b7f6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMinusZero</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x-0 with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00278">278</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="afb1d5abd1bb5ea6cb52c1993e742fff4"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMOneTimes</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces (-1)*x with -x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00158">158</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a43fee9c54d9fad96bbf7d8cd73dbad2c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMultiBitNot</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces ~~x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00110">110</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a61e2e53da431bb2af42ca3ec80ad7667"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMultiBoolNot</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !!x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00122">122</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa0dc7d994c86e06137214db9b157baaf"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimMultiMinus</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces &ndash;x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00098">98</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae5dcd59dd8fc4352bb035593d51fc311"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimOneTimes</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces 1*x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00134">134</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a36a0739322cf8750767252d22d5004bf"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimPlusZero</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x+0 with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00254">254</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a26bdebf98dfd15dc90f44796459b8215"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimSignedZero</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces -0 with 0. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00303">303</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a1ea304a0d3d6a8a01c6fa7dcf336b938"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimTimesMOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x*(-1) with -x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00170">170</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa77d9d5318d62f2f93d4cda1a8e3ce43"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimTimesOne</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x*1 with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00146">146</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ab5cccd824a502131c6f667b1861b9f1f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimTimesZero</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x*0 with 0. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00194">194</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa5636d3d8cfd641be3ba552c4f27540a"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimZeroDiv</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces 0/x with 0. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00206">206</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a712aa4140b6e00dc8b02d53040c7a86f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimZeroMinus</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces 0-x with -x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00266">266</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a02a16a4a3eba3af3c049a671c054cb5f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimZeroPlus</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces 0+x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00242">242</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a00d38b022a9f717dce5e60ad603be496"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.ElimZeroTimes</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces 0*x with 0. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00182">182</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a20fa028138d96e31f48d85e2e78d59ba"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.EqFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x == false with !x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00472">472</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="adf31b611cb49c4c3fc64319c76c19362"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.EqSLFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces <code>x == StdLogic._0</code> with <code>!((bool)x)</code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00511">511</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a45263f146c9b654084f0f6933aad4ef8"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.EqSLTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces <code>x == StdLogic._1</code> with <code>(bool)x</code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00498">498</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a237452f35a9b1be3e1312fea82ffb914"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.EqTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x == true with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00446">446</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a14ef9d90e2997d12ec5eae8978b296dd"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.FalseAnd</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces false &amp; x with false. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00589">589</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a0b3800e004c505dcbdf70464b0c9de6d"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.FalseLit</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces any constant expression which evaluates to <code>false</code> with <code><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_special_constant.html#abff821e4bef12cbc4c004ca749205021" title="Returns &quot;false&quot; of result type bool. ">SpecialConstant.False</a></code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00433">433</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a1231540b81f6918d47fe5e1f21ab7f70"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.FalseOr</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that repalces false | x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00615">615</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a1a86c2733763e7c00e4938e9f27f32bd"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NEqSLFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces <code>x != StdLogic._0</code> with <code>(bool)x</code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00537">537</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a35493c68236e004760d66c0c96caea2e"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NEqSLTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces <code>x != StdLogic._1</code> with <code>!((bool)x)</code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00524">524</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a58754f8f0ba773c2cc99e90927f96118"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotEq</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x==y) with x!=y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00340">340</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="af8a0d4d3639c08f1f9595cec0b8745ed"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotEqFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x != false with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00485">485</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa6caecadfa99d3ebf6b0f7f389ebcaa7"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotEqTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x != true with !x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00459">459</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a0d06bf3a2d482114ac91d245bb6210a6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotGt</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x&gt;y) with x&lt;=y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00392">392</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa2782a50f1f8ba489f583e5b5db6fb40"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotGtEq</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x&gt;=y) with x&lt;y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00405">405</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a9b8f94b1232df14dd6e705aa7eaf09c7"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotLt</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x&lt;y) with x&gt;=y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00366">366</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a42125defb991849d76bfe70dce5590e1"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotLtEq</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x&lt;=y) with x&gt;y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00379">379</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a97f3091a48aaca75ec264bbdf56438a6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.NotNEq</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces !(x!=y) with x==y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00353">353</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a7dd1b44bdf370e97267d0a2aa3976e2e"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.OrFalse</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x | false with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00602">602</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ac59ee769afebabc996f675dd56b9a542"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.OrTrue</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces x | true with true. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00628">628</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aabaab4041612459693425ee9eee87b26"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.RwNegProd</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces -(x*y) with (-x)*y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00314">314</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a7c47b1361b1cb87aa465af848c830da1"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.RwNegSum</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces -(x+y) with x-y. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00327">327</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ab33585f4d68205aafe67f618c8920589"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.TrueAnd</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces true &amp; x with x. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00563">563</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a0ee2a25ea277d7ddc0ce9f78efb6ac06"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.TrueLit</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces any constant expression which evaluates to <code>true</code> with <code><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_special_constant.html#a5d9025f1ab919a233bba94b268a27756" title="Returns &quot;true&quot; of result type bool. ">SpecialConstant.True</a></code>. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00419">419</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa512c85138939d4a2c91828b7c858f0b"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_replacement_rule.html">ReplacementRule</a> SystemSharp.SysDOM.SimplificationRules.TrueOr</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a rule that replaces true | x with true. </p>

<p>Definition at line <a class="el" href="_core_algebraic_algorithms_8cs_source.html#l00641">641</a> of file <a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="_core_algebraic_algorithms_8cs_source.html">CoreAlgebraicAlgorithms.cs</a></li>
</ul>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="namespace_system_sharp.html">SystemSharp</a></li><li class="navelem"><a class="el" href="namespace_system_sharp_1_1_sys_d_o_m.html">SysDOM</a></li><li class="navelem"><a class="el" href="class_system_sharp_1_1_sys_d_o_m_1_1_simplification_rules.html">SimplificationRules</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:22:19 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
